求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

多视图三角化中特征点噪声尺度的自适应估算

鲁棒性多视图三角化方法通常借助重投影误差经验阈值来剔除图像对应中的错误匹配,该经验阈值的选取直接影响三维重构场景点的数量和精度。在分析图像特征点定位噪声及对极传递几何原理的基础上,建立对极传递过程不确定性的传递模型,提出一种基于核密度估计的最优噪声尺度估算方法,并将该噪声尺度作为多视图三角化中错误匹配筛选的依据。实验结果表明,该方法可以获得准确的噪声尺度估计,从而有效提升多视图三角化方法的三维重构质量。     

流变抛光结合HF酸刻蚀提升熔石英元件抗激光损伤性能

为了提升紫外熔石英元件抗激光损伤性能,针对传统加工方法在加工过程中产生的破碎性缺陷和污染性缺陷,本文提出了使用磁流变抛光+HF刻蚀组合工艺提升紫外熔石英元件抗激光损伤性能的方法。磁流变抛光特有的剪切去除原理能够有效去除传统加工过程产生的破碎性缺陷,同时不产生新的破碎性缺陷。HF酸动态酸刻蚀能够有效减少加工过程中产生金属元素污染。实验结果表明：经过组合工艺处理的熔石英样品,在7J/cm₂.3ω激光通量辐照下损伤密度由0.2/mm₂降至0.008/mm₂,在8J/cm₂.3ω激光通量辐照下损伤密度由1/mm₂降至0.1/mm₂,对紫外熔石英元件损伤性能提升显著。     

基于人工势场的潜艇搭载AUV回收路径规划

紧密结合未来无人作战侦察对潜艇搭载自主水下航行器(AUV)水下自主回收的需求,对水平面内基于水声定位的AUV的自主回收对接技术进行了研究。运用了基于人工势场的导引方法规划了AUV的回坞路径,然后基于AUV的运动方程设计了滑模跟踪控制律来解决AUV在复杂的回收环境下的避障问题,并通过引入"填平势场"来引导AUV走出局部极小点。最后采用了REMUS AUV的模型参数对水下回收进行了仿真试验研究,仿真结果验证了方法的有效性。     

针对应急救援路径规划的一种改进蚁群算法

针对不返回起始点、多个待救援点的应急救援路径规划问题,提出了一种应急救援路径规划的改进蚁群算法,设计了一种新的路径构造方法,为蚁群算法求解该类问题打下了基础。为提高收敛性,改进了信息素更新规则,构造了一种与蚁群算法有效结合的局部搜索算法,提高了算法快速寻优的能力。仿真结果表明:改进蚁群算法能够快速找到一条从救援中心到多个待救援点的优化路径,且收敛速度和最短路径较同类算法更优。     

Mandated defence offsets: can they ever deliver?

Defence offsets are elements of defence procurement deals additional to the primary content. Offsets are usually expected to yield technological or industrial benefits to the purchasing country (e.g. countertrade, technology transfers, or additional jobs) and military buyers often require suppliers to make offsets available “cost-free.” The authors argued previously that such strategies achieve little of value to buyers that lack market power and are unnecessary otherwise, since purchasers with the market power to extract more value for money from foreign suppliers can do so anyway. This article also focuses on the supply side of offset deals. The USA is the world's largest defence offsets supplier but the US government opposes offsets demands as economically inefficient and trade distorting. Even if offsets are inefficient and trade distorting, they may still benefit a materiel-exporting country such as the USA as they may induce exports and create associated benefits for the offsets provider.     

局部最大延迟检测抗转发欺骗干扰算法

接收机在进行窄带干扰抑制后,其输出信号的相关峰会发生分裂。使用传统的基于信号到达时间的抗转发欺骗干扰算法,会使得捕获锁定的相关值为真实信号的旁瓣。针对该问题提出一种基于局部相关值最大的时延检测方法,在真实信号相关峰分裂所产生的旁瓣与欺骗信号不重合前提下,通过对主瓣三个码片范围内最大值的搜索,保证捕获不会锁定在旁瓣,再选择局部最大值中的最早码相位点从而避免锁定到转发欺骗干扰。与传统的基于信号到达时间的抗转发欺骗干扰算法相比,在无窄带干扰情况下,所提算法性能相当;在存在窄带干扰情况下,其性能明显优于传统算法。通过数值仿真验证了方法的有效性。     

某型多管火箭炮射击间隔优化研究

为提高某型多管火箭炮火力密度,对其射击间隔进行优化研究。首先,建立某型多管火箭炮刚柔耦合模型,获得定向器管口动态响应,计算火箭弹起始扰动;然后,求解火箭炮外弹道方程,采用数理统计方法得到多管火箭炮密集度估计值;其次,基于Lanczos法对多管火箭炮进行模态分析,结合火箭炮管口动态响应确定新的射击间隔;最后,将新射击间隔输入动力学模型计算,结果表明在不影响射击密集度的基础上,新的射击间隔缩短发射时间21.4%,有效地提高了多管火箭炮火力密度。     

基于Canny算子的小波域维纳滤波去噪方法

本文给出了一种利用Canny算子的小波域局部维纳滤波的图像去噪方法。先用二维小波对图像进行分解，在第一重维纳滤波时使用椭圆形方向窗估计信号的方差。在第二重维纳滤波时，使用Canny算子把图像分成边缘区域和非边缘区域，然后结合圆形窗估计信号的方差，再利用局部维纳滤波进行去噪。实验结果表明了本文方法的有效性。     

适应低时延业务需求的分布式可穿戴单兵作战信息系统

针对云计算应用在单兵作战系统场景下业务处理时延高、服务质量无法保障的问题,提出一种基于可穿戴计算的分布式单兵作战信息系统。利用士兵身上的可穿戴智能设备构建本地计算层,在作战地点就近处理计算数据,提供给士兵本地的信息处理与融合能力,并采用广义扩散负载均衡算法平衡各设备负载,降低业务处理时延;同时利用分布式计算的容错能力增强系统的可靠性。仿真结果表明,基于可穿戴设备的分布式本地网络架构能有效地降低作战任务的处理时延,同时增强系统的可靠性。